Computer programming - PDFSEARCH.IO - Document Search Engine

Computer programming
Results: 45296

#	Item
631	TOWNSHIP OR MULTI-TOWNSHIP ASSESSOR QUALIFICATIONS Add to Reading List Source URL: www.revenue.state.il.us Language: English - Date: 2016-01-12 17:00:11 Software engineering Computer programming Computing Ciao
632	Department of Electrical Engineering and Computer Science MASSACHUSETTS INSTITUTE OF TECHNOLOGYFallQuiz I Solutions Add to Reading List Source URL: css.csail.mit.edu Language: English - Date: 2016-01-29 11:50:05 Computing Software engineering Computer programming Software bugs X86 architecture Buffer overflow Computer memory X86-64 Return-to-libc attack X86 Return-oriented programming NX bit
633	Symbolic Evaluation Graphs and Term Rewriting — A General Methodology for Analyzing Logic Programs ∗ J¨urgen Giesl Thomas Str¨oder Add to Reading List Source URL: www.dcs.bbk.ac.uk Language: English - Date: 2012-07-18 09:07:52 Logic Mathematical logic Theoretical computer science Automated theorem proving Logic programming Logic in computer science Type theory Logical truth Substitution Unification Admissible rule Symbol
634	David Ljung Madison Stellar Programming, Algorithm Design, VLSI / CPU Verification Accomplishing the impossible, on a deadline Career Summary Accomplished problem solver who can create new solutions Add to Reading List Source URL: davesource.com Language: English - Date: 2016-08-17 01:14:20 Electronic design automation Software engineering Computing Hardware verification languages Hardware description languages Verilog Perl Formal verification Programming tool Post-silicon validation Computer E
635	Reactor 1 Reactor The Reactor design pattern handles service requests that are delivered concurrently to an application by one or more clients. Add to Reading List Source URL: www.laputan.org Language: English - Date: 1999-10-19 20:15:10 Software engineering Computer programming Software design patterns Concurrent computing Computing Reactor pattern Logistics Event loop Event Dispatch Proactor pattern
636	In: Partial Evaluation, International Seminar, Dagstuhl Castle, Germany, February 1996, Lecture Notes in Computer Science 1110, Springer, 1996 ppInvited paper) A Comparative Revisitation of Some Program Tran Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:37 Software engineering Computer programming Software development Programming idioms Computability theory Functional programming Theoretical computer science Logic programming Unfolding Recursion Free variables and bound variables Symbolic computation
637	Recycling & Trash Schedule Borough of Harvey Cedars JANUARY S M Add to Reading List Source URL: www.harveycedars.org Language: English - Date: 2015-12-08 15:41:59 Computer programming Software engineering Business Energy conversion Recycling Water conservation Monad Litter Envelope Plastic bag
638	A Methodology for the Synthesis of Object-Oriented Languages Ike Antkare International Institute of Technology United Slates of Earth Add to Reading List Source URL: membres-lig.imag.fr Language: English - Date: 2014-01-09 04:24:28 Hypocorisms Ike Actor model Stan Computing Computer programming Software
639	Friends with Benefits Implementing Foundational Corecursion in Proof Assistants Jasmin Christian Blanchette Aymeric Bouzy Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2016-07-18 12:57:54 Declarative programming Software engineering Computer programming Functional programming Theoretical computer science Category theory Recursion Type theory Corecursion Symbol Stream Constructible universe
640	Solving the straggler problem for iterative convergent parallel ML Aaron Harlap? , Henggang Cui? , Wei Dai? , Jinliang Wei? Gregory R. Ganger? , Phillip B. Gibbons?† , Garth A. Gibson? , Eric P. Xing? ? Add to Reading List Source URL: www.pdl.cmu.edu Language: English - Date: 2015-07-09 19:35:49 Parallel computing Computer programming Computing Software engineering Bulk synchronous parallel Iteration Algorithm MapReduce Work stealing Automatic parallelization Thread Oracle Database

UPDATE